typed lambda calculus是什么意思_typed lambda calculus中文

typed lambda calculus中文什么意思

有类型 lambda 演算
有类型lambda演算

type: n. 1.型，类型，(工业产品的)品种；风格，型式。 2 ...
lambda: n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕 ...
calculus: n. (pl. calculuses, -li ) 1. ...
simply typed lambda calculus: 简单类型 lambda 演算; 简单类型lambda演算
lambda calculus: lambda可定义函数; Λ-递归函数; Λ演算; λ演算; 无类型 lambda 演算; 无类型lambda演算; 演算

下载手机词典可随时随地查词查翻译

百科释义

A typed lambda calculus is a typed formalism that uses the lambda-symbol (lambda) to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below).

详细百科解释

typed lambda calculus中文什么意思

百科释义

相关词汇

其他语言

相邻词汇

相关阅读